#pragma warning(disable:4200)  
#pragma warning(disable:4201)  
#pragma warning(disable:4214)  

#include <initguid.h>
#include <wdm.h>
#include "usbdi.h"
#include "usbdlib.h"

#pragma warning(default:4200)
#pragma warning(default:4201)
#pragma warning(default:4214)

#include <wdf.h>
#include <wdfusb.h>

#include "ringBuf.h"
#include "public.h"
#include "prototypes.h"
#include "ioctl.h"
#include "readPipe.h"

VOID EvtUsbTargetPipeReadComplete (
    WDFUSBPIPE  pipe,
    WDFMEMORY  buf,
    size_t  numBytesTransferred,
    WDFCONTEXT  context
    )
{
    PDEVICE_CONTEXT p_deviceContext;
    p_deviceContext = GetDeviceContext((WDFDEVICE)context);
    rb_write(&(p_deviceContext->rb), WdfMemoryGetBuffer(buf, NULL), numBytesTransferred);
}
